Skip to content
This repository has been archived by the owner on May 24, 2023. It is now read-only.

Use GitHub cache backend API #37

Merged
merged 1 commit into from
Aug 11, 2021
Merged

Use GitHub cache backend API #37

merged 1 commit into from
Aug 11, 2021

Conversation

lucacome
Copy link
Member

Use the new GHA cache removing the need for an additional action

@lucacome lucacome requested a review from a team August 10, 2021 23:34
@lucacome lucacome self-assigned this Aug 10, 2021
@lucacome lucacome requested review from ciarams87 and soneillf5 and removed request for a team August 10, 2021 23:34
@github-actions github-actions bot added the chore Pull requests for routine tasks label Aug 10, 2021
@lucacome lucacome enabled auto-merge (squash) August 11, 2021 14:53
@lucacome lucacome merged commit b76da80 into master Aug 11, 2021
@lucacome lucacome deleted the chore/use-gha-cache branch August 11, 2021 17:07
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
chore Pull requests for routine tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants